<html>
<head><meta charset="utf-8"><title>non-determinism in analysis? · t-compiler/rust-analyzer · Zulip Chat Archive</title></head>
<h2>Stream: <a href="https://rust-lang.github.io/zulip_archive/stream/185405-t-compiler/rust-analyzer/index.html">t-compiler/rust-analyzer</a></h2>
<h3>Topic: <a href="https://rust-lang.github.io/zulip_archive/stream/185405-t-compiler/rust-analyzer/topic/non-determinism.20in.20analysis.3F.html">non-determinism in analysis?</a></h3>

<hr>

<base href="https://rust-lang.zulipchat.com">

<head><link href="https://rust-lang.github.io/zulip_archive/style.css" rel="stylesheet"></head>

<a name="171259857"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/185405-t-compiler/rust-analyzer/topic/non-determinism%20in%20analysis%3F/near/171259857" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Laurențiu <a href="https://rust-lang.github.io/zulip_archive/stream/185405-t-compiler/rust-analyzer/topic/non-determinism.20in.20analysis.3F.html#171259857">(Jul 19 2019 at 14:04)</a>:</h4>
<div class="codehilite"><pre><span></span>$ cargo run --release -p ra_cli -- analysis-stats
    Finished release [optimized + debuginfo] target(s) in 0.06s
     Running `target/release/ra_cli analysis-stats`
Database loaded, 256 roots, 185.744807ms
Crates in this dir: 28
Total modules found: 285
Total declarations: 9644
Total functions: 3253
Total expressions: 64916
Expressions of unknown type: 9217 (14%)
Expressions of partially unknown type: 3414 (5%)
Analysis: 17.890922846s, 0b allocated 0b resident

$ cargo run --release -p ra_cli -- analysis-stats
    Finished release [optimized + debuginfo] target(s) in 0.05s
     Running `target/release/ra_cli analysis-stats`
Database loaded, 256 roots, 184.273592ms
Crates in this dir: 28
Total modules found: 285
Total declarations: 9644
Total functions: 3253
Total expressions: 64916
Expressions of unknown type: 9218 (14%)
Expressions of partially unknown type: 3410 (5%)
Analysis: 17.724273571s, 0b allocated 0b resident
</pre></div>



<a name="171259950"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/185405-t-compiler/rust-analyzer/topic/non-determinism%20in%20analysis%3F/near/171259950" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> matklad <a href="https://rust-lang.github.io/zulip_archive/stream/185405-t-compiler/rust-analyzer/topic/non-determinism.20in.20analysis.3F.html#171259950">(Jul 19 2019 at 14:05)</a>:</h4>
<p>wow</p>



<a name="171260001"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/185405-t-compiler/rust-analyzer/topic/non-determinism%20in%20analysis%3F/near/171260001" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> matklad <a href="https://rust-lang.github.io/zulip_archive/stream/185405-t-compiler/rust-analyzer/topic/non-determinism.20in.20analysis.3F.html#171260001">(Jul 19 2019 at 14:06)</a>:</h4>
<p>this seems bad</p>



<a name="171260012"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/185405-t-compiler/rust-analyzer/topic/non-determinism%20in%20analysis%3F/near/171260012" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Laurențiu <a href="https://rust-lang.github.io/zulip_archive/stream/185405-t-compiler/rust-analyzer/topic/non-determinism.20in.20analysis.3F.html#171260012">(Jul 19 2019 at 14:06)</a>:</h4>
<p>do we still have fuel?</p>



<a name="171260026"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/185405-t-compiler/rust-analyzer/topic/non-determinism%20in%20analysis%3F/near/171260026" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> matklad <a href="https://rust-lang.github.io/zulip_archive/stream/185405-t-compiler/rust-analyzer/topic/non-determinism.20in.20analysis.3F.html#171260026">(Jul 19 2019 at 14:06)</a>:</h4>
<p>nope</p>



<a name="171260032"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/185405-t-compiler/rust-analyzer/topic/non-determinism%20in%20analysis%3F/near/171260032" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Laurențiu <a href="https://rust-lang.github.io/zulip_archive/stream/185405-t-compiler/rust-analyzer/topic/non-determinism.20in.20analysis.3F.html#171260032">(Jul 19 2019 at 14:06)</a>:</h4>
<p>hmm</p>



<a name="171260042"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/185405-t-compiler/rust-analyzer/topic/non-determinism%20in%20analysis%3F/near/171260042" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> matklad <a href="https://rust-lang.github.io/zulip_archive/stream/185405-t-compiler/rust-analyzer/topic/non-determinism.20in.20analysis.3F.html#171260042">(Jul 19 2019 at 14:06)</a>:</h4>
<p>and, even with fuel, it shouldn't be any different</p>



<a name="171260094"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/185405-t-compiler/rust-analyzer/topic/non-determinism%20in%20analysis%3F/near/171260094" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Laurențiu <a href="https://rust-lang.github.io/zulip_archive/stream/185405-t-compiler/rust-analyzer/topic/non-determinism.20in.20analysis.3F.html#171260094">(Jul 19 2019 at 14:07)</a>:</h4>
<p>I can see how trying to resolve things in a different order might make it take fewer or more iterations</p>



<hr><p>Last updated: Aug 07 2021 at 22:04 UTC</p>
</html>